Foundations of mathematics - PDFSEARCH.IO - Document Search Engine

Foundations of mathematics
Results: 359

#	Item
281	Cosmic Symmetry-breaking, Bifurcation, Fractality and Biogenesis Chris King1 Mathematics Department, University of Auckland, New Zealand ABSTRACT: This paper explores the non-linear quantum foundations of biogenesis in i Add to Reading List Source URL: www.dhushara.com Language: English - Date: 2009-09-23 20:25:03 Quantum electrodynamics Symmetry Introductory physics Standard Model Electron Energy Inflation Fundamental interaction Entropy Physics Particle physics Physical cosmology
282	Daniel A. Spielman Department of Computer Science Yale University New Haven, CT[removed]Academic Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2014-03-17 15:49:17 Computational learning theory Daniel Spielman International Colloquium on Automata Languages and Programming Symposium on Foundations of Computer Science Smoothed analysis Symposium on Parallelism in Algorithms and Architectures Michael Luby ACM SIGACT Theoretical computer science Applied mathematics Computer science
283	INTRODUCTION TO THE UNIVALENT FOUNDATIONS OF MATHEMATICS CONSTRUCTIVE TYPE THEORY AND HOMOTOPY STEVE AWODEY CARNEGIE MELLON UNIVERSITY Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:30 Mathematics Groupoid Homotopy type theory Homotopy Model category Fundamental group CW complex Category theory Homotopy theory Topology Abstract algebra
284	Foundations of mathematics Sylvain Poirier http://settheory.net/ 1. First foundations of mathematics 1.1. Introduction to the foundation of mathematics Add to Reading List Source URL: settheory.net Language: English - Date: 2014-06-17 08:06:26 Predicate logic Model theory Metalogic Semantics Interpretation First-order logic Function Type theory Quantification Logic Mathematical logic Mathematics
285	Homotopy Type Theory and Univalent Foundations of Mathematics Steve Awodey Carnegie Mellon University Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:30 Homotopy type theory Homotopy Mathematical logic Algebraic topology Homotopy group Homotopy theory Topology Mathematics
286	Computers, Paradoxes and the Foundations of Mathematics Some great thinkers of the 20th century have shown that even in the austere world of mathematics, incompleteness and randomness are rife Gregory J. Chaitin Add to Reading List Source URL: www.umcs.maine.edu Language: English - Date: 2002-02-07 17:02:09 Mathematical logic Computability theory Philosophy of mathematics Theoretical computer science Formal systems Kurt Gödel Halting problem Kolmogorov complexity Algorithmic information theory Mathematics Logic Science
287	Annex 1 Primary panel structure and description Physical Sciences & Engineering PE1 Mathematics All areas of mathematics, pure and applied, plus mathematical foundations of computer science, mathematical physics and stat Add to Reading List Source URL: erc.europa.eu Language: English - Date: 2014-05-23 10:28:49 Knowledge Biology Biochemist Ethology Biophysics Chemist European Research Council Outline of science Science Bioinformatics Computational biology
288	Lower bounds for Streaming Problems Rapha¨el Clifford Joint work with Markus Jalsenius and Benjamin Sach Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-03-11 07:07:20 International Colloquium on Automata Languages and Programming Combinatorica PH Mathematics Computer science Symposium on Theory of Computing Symposium on Foundations of Computer Science
289	"Das Überraschende: Wittgenstein on the Surprising in Mathematics", in Jon Ellis and Daniel Guevara, eds., Wittgenstein and the Philosophy of Mind (Oxford University Press, [removed]Das Überraschende: Wittgenstein Add to Reading List Source URL: www.bu.edu Language: English - Date: 2011-09-01 18:04:55 Linguistic turn Philosophers of mathematics Ludwig Wittgenstein Logicians Analytic philosophers Philosophical Investigations Philosophy of mathematics Remarks on the Foundations of Mathematics Gottlob Frege Philosophy Mathematics Logic
290	FloydCVApr141.doc JULIET FLOYD Addresses: Telephone: Add to Reading List Source URL: www.bu.edu Language: English - Date: 2014-04-10 10:35:22 Logicians Philosophers of mathematics Linguistic turn Ludwig Wittgenstein New Wittgenstein Jaakko Hintikka Rudolf Carnap Remarks on the Foundations of Mathematics Ordinary language philosophy Philosophy Analytic philosophy Analytic philosophers

UPDATE